Purpose This paper aims to formalize long-term trajectories of human civilization as a scientific and ethical field of study. The long-term trajectory of human civilization can be defined as the path that human civilization takes during the entire future time period in which human civilization could continue to exist. -/- Design/methodology/approach This paper focuses on four types of trajectories: status quo trajectories, in which human civilization persists in a state broadly similar to its current state into the distant future; catastrophe (...) trajectories, in which one or more events cause significant harm to human civilization; technological transformation trajectories, in which radical technological breakthroughs put human civilization on a fundamentally different course; and astronomical trajectories, in which human civilization expands beyond its home planet and into the accessible portions of the cosmos. -/- Findings Status quo trajectories appear unlikely to persist into the distant future, especially in light of long-term astronomical processes. Several catastrophe, technological transformation and astronomical trajectories appear possible. -/- Originality/value Some current actions may be able to affect the long-term trajectory. Whether these actions should be pursued depends on a mix of empirical and ethical factors. For some ethical frameworks, these actions may be especially important to pursue. (shrink)

The amount of realist positions put forward by philosophers of religion and theologians is impressive. one can certainly doubt whether there is a need for yet another alternative. However, most realist positions employed in studies on religion fall prey to Hilary Putnam’s criticism against metaphysical realism. This gives rise to a dilemma that I aim at solving by introducing yet another realist position, namely non-metaphysical realism.

"Thinking about thinking", the topic of this section of our volume, leads us into an Escherian web of self-referential interconnections — which nevertheless make sense, at least if we do not shy away at once in the face of paradox, for fear of inconsistency. How do our critical faculties enter the picture? Adding a few conceptual dimensions to the merely linearly causal one may help us to shed light on the issue, and may help us also to understand some of (...) the basic strategies "Western" thought has developed throughout its historical pathway in its conscious dealings with the 'real'. Of course, in a few pages it is impossible to do justice to this complicated subject. But I'll try to give the reader an as clear as possible description of the, in my view, crucial issues, pointing out the ways they resonate into the many fields of interest represented in the intended readership, and leave it to the reader to dig deeper through the given references. (shrink)

It will be shown in this article that an ontological approach for some problems related to the interpretation of Quantum Mechanics (QM) could emerge from a re-evaluation of the main paradox of early Greek thought: the paradox of Being and non-Being, and the solutions presented to it by Plato and Aristotle. More well known are the derivative paradoxes of Zeno: the paradox of motion and the paradox of the One and the Many. They stem from what was perceived by classical (...) philosophy to be the fundamental enigma for thinking about the world: the seemingly contradictory results that followed from the co-incidence of being and non-being in the world of change and motion as we experience it, and the experience of absolute existence here and now. The most clear expression of both stances can be found, again following classical thought, in the thinking of Heraclitus of Ephesus and Parmenides of Elea. The problem put forward by these paradoxes reduces for both Plato and Aristotle to the possibility of the existence of stable objects as a necessary condition for knowledge. Hence the primarily ontological nature of the solutions they proposed: Plato’s Theory of Forms and Aristotle’s metaphysics and logic. Plato’s and Aristotle’s systems are argued here to do on the ontological level essentially the same: to introduce stability in the world by introducing the notion of a separable, stable object, for which a ‘principle of contradiction’ is valid: an object cannot be and not-be at the same place at the same time. So it becomes possible to forbid contradiction on an epistemological level, and thus to guarantee the certainty of knowledge that seemed to be threatened before. After leaving Aristotelian metaphysics, early modern science had to cope with these problems: it did so by introducing “space” as the seat of stability, and “time” as the theater of motion. But the ontological structure present in this solution remained the same. Therefore the fundamental notion ‘separable system’, related to the notions observation and measurement, themselves related to the modern concepts of space and time, appears to be intrinsically problematic, because it is inextricably connected to classical logic on the ontological level. We see therefore the problems dealt with by quantum logic not as merely formal, and the problem of ‘non-locality’ as related to it, indicating the need to re-think the notions system, entity, as well as the implications of the operation ‘measurement’, which is seen here as an application of classical logic (including its ontological consequences) on the material world. (shrink)

Because we tend to study fight books in isolation, we often forget how difficult it is to understand the precise place they occupy in the sociocultural and historical fabric of their time, and spill the many clues they inevitably contain on their owner, their local society, their precise purpose. In order to unlock that information, we need to study them in their broader sociocultural and historical context. This requires a background and research skills that are not always easily accessible to (...) everyone. To illustrate the point, in this paper I show in some detail what is required to make sense of the claim that Aristotelian philosophy and science influenced the medieval fight books in relevant ways, and that understanding this influence helps us to better understand the fight books per se. I give an outline of the general historical framework, and apply it to a testcase: Talhoffer’s Thott 290 2° Ms., with some interesting results. My hope is that this framework may be of some use to other researchers in HEMA Studies who want to dig deeper in sources of interest to them. (shrink)

Isaac Newton, in popular imagination the Ur-scientist, was an outstanding humanist scholar. His researches on, among others, ancient philosophy, are thorough and appear to be connected to and fit within his larger philosophical and theological agenda. It is therefore relevant to take a closer look at Newton’s intellectual choices, at how and why precisely he would occupy himself with specific text-sources, and how this interest fits into the larger picture of his scientific and intellectual endeavours. In what follows, we shall (...) follow Newton into his study and look over his shoulder while reading compendia and original source-texts in his personal library at Cambridge, meticulously investigating and comparing fragments and commentaries, and carefully keeping track in private notes of how they support his own developing ideas. Indeed, Newton was convinced that precursors to his own insights and discoveries were present already in Antiquity, even before the Greeks, in ancient Egypt, and he puts a lot of time and effort into making the point, especially, and not incidentially, in the period between the first and the second edition of the Principia. A clear understanding of his reading of the classic sources therefore matters to our understanding of its content and gestation process. In what follows we will confine ourselves to the classical legacy, and investigate Newton’s intellectual intercourse with it. (shrink)

In de hiernavolgende bijdrage zal het erom gaan te pogen een ander licht te werpen op de globalisering der wereldeconomie die onze planeet sinds enkele decennia teistert. In de theoretische aandacht die deze historische ontwikkeling te beurt viel gedurende de tweede helft van de voorbije eeuw, werd het verband met zowel de ‘economisering’ als de ‘technologisering’ van onze leefwereld zoals geduid in de marxistische en techniekphilosophische critiek centraal gesteld; zij werd tevens gesitueerd in de context van “de postmoderne conditie” in (...) den zin van Lyotard2. Ook de rationaliteitscrisis tout court die hiermee samenhangt beschouw ik als een uitgangspunt, hoewel men over haar aard en oorzaken van mening kan verschillen. De oorspronkelijkheid van deze bijdrage zal dan ook niet te vinden zijn in de bespreking van een der bovenvermelde punten, maar in een ander begrip van de betrekkingen tussen de totaliteit van dit proces en de in onze gewaarwordingen gegeven, ‘natuurlijke’ werkelijkheid. (shrink)

In recent years, exposome research has been put forward as the next frontier for the study of human health and disease. Exposome research entails the analysis of the totality of environmental exposures and their corresponding biological responses within the human body. Increasingly, this is operationalized by big-data approaches to map the effects of internal as well as external exposures using smart sensors and multiomics technologies. However, the ethical implications of exposome research are still only rarely discussed in the literature. Therefore, (...) we conducted a systematic review of the academic literature regarding both the exposome and underlying research fields and approaches, to map the ethical aspects that are relevant to exposome research. We identify five ethical themes that are prominent in ethics discussions: the goals of exposome research, its standards, its tools, how it relates to study participants, and the consequences of its products. Furthermore, we provide a number of general principles for how future ethics research can best make use of our comprehensive overview of the ethical aspects of exposome research. Lastly, we highlight three aspects of exposome research that are most in need of ethical reflection: the actionability of its findings, the epidemiological or clinical norms applicable to exposome research, and the meaning and action–implications of bias. (shrink)

The article summarises in an accessible way the (lack of) debate in France between different economic schools — the hegemonic neoclassical school with its positivist pretenses versus more historical schools of a Marxist or Keynesian orientation.

Our concern in the following pages will be the ontology of the relation between living beings (especially, but not exclusively, humans) and the technological artefacts of our late-industrial society. The theme is not new, but important in the context of the emergence and globalisation of so called “post- modern” society. The eventual originality of the present contribution is to be situated in its interpretative framework, i.e., a specific conception of reality's deep ontology, overlooked in general exactly because of the “technological” (...) structure impressed since centuries upon our ways of perceiving of and reasoning about the world. I refer to this neglected but fundamental characteristic of reality as its ontological paradoxicality. (shrink)

We investigate the structure common to causal theories that attempt to explain a (part of) the world. Causality implies conservation of identity, itself a far from simple notion. It imposes strong demands on the universalizing power of the theories concerned. These demands are often met by the introduction of a metalevel which encompasses the notions of 'system' and 'lawful behaviour'. In classical mechanics, the division between universal and particular leaves its traces in the separate treatment of cinematics and dynamics. This (...) analysis is applied to the mechanical theories of Newton and Leibniz, with some surprising results. (shrink)

In their recent work, L. Graham and J.-M. Kantor discuss a remarkable connection between diverging conceptions of the mathematical infinite in Russia and France at the beginning of the twentieth century and the religious convictions of their respective authors. They expand much more on the Russian side of the cultural equation they propose; I do believe, however, that the French (or rather ‘West European’) side is more complex than it seems, and that digging deeper into it is worthwhile. In this (...) paper I shall therefore broaden the path laid out in Graham and Kantor’s work, by connecting two different strands of research concerning the origin of what I loosely call ‘formal’ ideas: firstly, the rich but complex relation between logic and rhetoric throughout European cultural history, and secondly, the impact of religious convictions on the formation of certain mathematical and scientific ideas during Renaissance and Early Modernity, especially but not exclusively in France. (shrink)

Book review: Emmanuel Todd, "Où en sommes-nous? Une esquisse de l'histoire humaine" (Seuil, 2017).

In this essay I propose a new measure of social welfare. It captures the intuitive idea that quantity, quality, and equality of individual welfare all matter for social welfare. More precisely, it satisfies six conditions: Equivalence, Dominance, Quality, Strict Monotonicity, Equality and Asymmetry. These state that i) populations equivalent in individual welfare are equal in social welfare; ii) a population that dominates another in individual welfare is better; iii) a population that has a higher average welfare than another population is (...) better, other things being equal; iv) the addition of a well-faring individual makes a population better, whereas the addition of an ill-faring individual makes a population worse; v) a population that has a higher degree of equality than another population is better, other things being equal; and vi) individual illfare matters more for social welfare than individual welfare. By satisfying the six conditions, the measure improves on previously proposed measures, such as the utilitarian Total and Average measures, as well as different kinds of Prioritarian measures. (shrink)

A concise introduction (in Dutch) to the work of Giorgio Agamben, from the perspective of the central question in his philosophy under what conditions community or society today are possible, not based on in the end always artbitrary principles of exclusion — be they historical, biological, ...

An accessible overview of the (lack of) debate in France between the hegemonic neoclassical school in economics with its positivist pretenses and the more historical Marxist and Keynesian schools.

Since the dawn of philosophy, the paradoxical interconnection between the continuous and the discrete plays a central rôle in attempts to understand the ontology of the world, while defying all attempts at consistent formulation. I investigate the relation between (classical) logic and concepts of “space” and “time” in physical and metaphysical theories, starting with the Greeks. An important part of my research consists in exploring the strong connections between paradoxes as they appear and are dealt with in ancient philosophy, and (...) their re-appearance in early modern natural philosophy, as well as in the foundations of contemporary science and mathematics. The way paradoxes are dealt with sheds light on a theory’s hidden metaphysical assumptions, especially with respect to matter, space, time and causation, it defines its ontological signature. This conclusion led me to the in-depth study of early modern natural philosophy, the origin of natural science, especially the influences ancient thinkers had on the new conceptions of space, time and causation developed by Newton, Huygens and Leibniz. (shrink)

Scholarly debates on the Critique of Pure Reason have largely been shaped by epistemological questions. Challenging this prevailing trend, Kant's Reform of Metaphysics is the first book-length study to interpret Kant's Critique in view of his efforts to turn Christian Wolff's highly influential metaphysics into a science. Karin de Boer situates Kant's pivotal work in the context of eighteenth-century German philosophy, traces the development of Kant's conception of critique, and offers fresh and in-depth analyses of key parts of the (...) Critique of Pure Reason, including the Transcendental Deduction, the Schematism Chapter, the Appendix to the Transcendental Analytic, and the Architectonic. The book not only brings out the coherence of Kant's project, but also reconstructs the outline of the 'system of pure reason' for which the Critique was to pave the way, but that never saw the light. (shrink)

In this paper, we give a flavour of how, against the odds, Reggio-Emilia-inspired pedagogical documentation can work in reconceptualizing environmental education, reconfiguring child subjectivity and provoking an ontological shift from autopoiesis to sympoiesis in teacher education. Working posthuman(e)ly and transdisciplinarily across three foundation phase teacher education courses at a university in South Africa, we situate our teaching within current environmental precarities. We show how we stirred up trouble in and outside our university classroom and provoked our students to “make kin” (...) with children, each other, other animals, and the more-than-human, but also to stay with the trouble, that is, to learn to be truly present in colonized spaces. (shrink)

This article challenges the prevailing interpretations of Hegel's account of the concept "contradiction" in the Science of Logic by arguing that it is concerned with the principle of Hegel's method rather than with the classical law of non-contradiction. I first consider Hegel's Doctrine of Essence in view of Kant's discussion of the concepts of reflection in the first Critique. On this basis, I examine Hegel's account of the logical principles based on the concepts "identity," "opposition," and "contradiction." Finally, I point (...) out how the principle Hegel derives from the concept of contradiction actually informs his own method. (shrink)

In the Critique of Pure Reason and elsewhere, Kant uses the term ‘object’ in various ways and often without clearly signaling its different meanings. As a result, it is hard to gauge the extent to which Kant’s account of the object of cognition breaks new ground. In this article, I take the Critique to establish what is required to generate an object of cognition per se soleley by examining the various ways in which the human mind can objectify the content (...) of its representations. To clarify this endeavor, I distinguish four different ways in which the term ‘object’ is used in the Critique, namely, to refer to (1) material things, (2) the content of any type of thought, (3) the mind-immanent correlate of a cognition in the broad sense of the term, and (4) the mind-immanent correlate of a cognition in the strict sense of the term. On my reading, the fourth meaning of the term ‘object’ is key to the Transcendental Deduction and completes Kant’s unprecedented conception of the cognitive acts by means of which the human mind produces objects of cognition out of a manifold of representations. (shrink)

The present paper aims to trace back Kant’s account of the schematism of the pure understanding in the Critique of Pure Reason to the Dissertation. I do so by discussing Kant’s understanding of sensible cognition in view of his assessment of metaphysics. I argue, first, that Kant in both texts aims to defend metaphysics against skeptical attacks by discarding those of its elements he considers unwarranted and, second, that this undertaking hinges on his account of concepts that function as the (...) sensible condition of cognition. Yet whereas Kant argues in 1770 that metaphysics must be purely intellectual, he in 1781 draws on his earlier account of sensible concepts to argue, against the Wolffians, that determining intelligible objects by purely intellectual means does not amount to cognition proper. (shrink)

This chapter examines Hegel’s conception of philosophical critique in order to shed light on the force and limits of the method that has become known as immanent critique. At least in modern philosophy, it was Kant who first conceived of critique as a form of reflection that draws its criterion from reason itself. As I argue, Hegel is deeply indebted to Kant in this respect. The chapter begins with an analysis of Hegel's seminal essay ‘On the Essence of Philosophical Criticism (...) Generally, and its Relationship to the Present State of Philosophy in Particular’, published in 1802. After a brief discussion of the Phenomenology, I turn to his Philosophy of Right. These texts make clear, I argue, that the criterion from which immanent critique takes its bearings is necessarily tainted with a particularity that it cannot affirm without losing its force. According to this account, immanent critique comes to refer to a form of reflection that is more complicated and more precarious than Kant and Hegel seem to have assumed. (shrink)

This record describes the occurrence of conflicts between stingless bees of an active colony of Scaptotrigona bipunctata (Lepeletier) and individuals of Melipona quadrifasciata (Lepeletier), and discusses possible hypotheses that motivated the attack. Behaviors were observed in an active colony of S. bipunctata. The active nest guards detained individuals of M. quadrifasciata who invaded the colony. The chances of misidentification of the colony entrance and error in the species possible aggregation were discarded, however, the hypothesis of the real invasion recorded in (...) this study demonstrates a behavioral strategy by M. quadrifasciata suggests that there is an energy savings if successful in looting. (shrink)

Studies on mind-wandering frequently use reading as an experimental task. In these studies, reading is conceived as a cognitive process that potentially offers a contrast to mind-wandering, because it seems to be task-related, goal-directed and stimulus-dependent. More recent work attempts to avoid the dichotomy of successful cognitive processes and processes of mind-wandering found in earlier studies. We approach the issue from the perspective that texts provoke modes of cognitive involvement different from the information processing and recall account that underlies many (...) early mind-wandering studies. After all, reading itself is an umbrella term for activities that are characterized by a variety of phenomenological and functional signatures. We conceptualize reading and mind-wandering in relation to each other through the framework of enculturated predictive processing, which is informed by research in literary studies. Earlier accounts think of reading predominantly in terms of the construction of situation models that organize textual information. By contrast, enculturated predictive processing foregrounds shifting stances readers can take in relation to the text. Characters featuring in literary texts might be mind-wandering themselves, or passages in literary style might make the construction of a clearly defined situational model impossible. Furthermore, we take into account that texts often elicit mind-wandering through the construction of task-relevant and attention-driven virtual scenarios in readers' minds. This more complex account of reading can enrich recent attempts to understand mind-wandering as a complex, multi-dimensional phenomenon. The study of mind-wandering can benefit, we argue, from a closer attention to the process of reading and to the texts it deploys as stimuli. The emerging perspective from enculturated predictive processing and literary studies makes distinctions in reading that in turn enable research on mind-wandering to ask more precise questions about (1) different kinds of mind-wandering, (2) different modes of reading, and (3) how and where they interconnect across time. (shrink)

Pain may appear to undermine the radically intentionalist view that the phenomenal character of any experience is entirely constituted by its representational content. That appearance is illusory. After categorizing versions of pain intentionalism along two dimensions, I argue that an 'objectivist' and 'non-mentalist' version is the most promising, if it can withstand two objections concerning what we say when in pain, and the distinctiveness of pain. I rebut these objections, in a way available to both opponents of and adherents to (...) the view that experiential content is entirely conceptual. (shrink)

Philosophers have rightly condemned lookism—that is, discrimination in favor of attractive people or against unattractive people—in education, the justice system, the workplace and elsewhere. Surprisingly, however, the almost universal preference for attractive romantic and sexual partners has rarely received serious ethical scrutiny. On its face, it’s unclear whether this is a form of discrimination we should reject or tolerate. I consider arguments for both views. On the one hand, a strong case can be made that preferring attractive partners is bad. (...) The idea is that choosing partners based on looks seems essentially similar to other objectionable forms of discrimination. (In particular, the preference for attractive partners is arguably both unfair and harmful to a significant degree.) One can try to resist this conclusion in several ways. I consider three possible replies. The first has to do with the possibility of controlling our partner preferences. The second pertains to attractiveness and “good genes”. The last attempts to link certain aspects of attractiveness to a prospective partner’s personality and values. I argue that the first two replies fail conclusively, while the third only amounts to a limited defense of a particular kind of attractiveness preference. So the idea that we should often avoid preferring attractive partners is compelling. (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

In this paper, I develop and defend a new adverbial theory of perception. I first present a semantics for direct-object perceptual reports that treats their object positions as supplying adverbial modifiers, and I show how this semantics definitively solves the many-property problem for adverbialism. My solution is distinctive in that it articulates adverbialism from within a well-established formal semantic framework and ties adverbialism to a plausible semantics for perceptual reports in English. I then go on to present adverbialism as a (...) theory of the metaphysics of perception. The metaphysics I develop treats adverbial perception as a directed activity: it is an activity with success conditions. When perception is successful, the agent bears a relation to a concrete particular, but perception need not be successful; this allows perception to be fundamentally non-relational. The result is a novel formulation of adverbialism that eliminates the need for representational contents, but also treats successful and unsuccessful perceptual events as having a fundamental common factor. (shrink)

We discuss potential biorisks from large language models (LLMs). AI assistants based on LLMs such as ChatGPT have been shown to significantly reduce barriers to entry for actors wishing to synthesize dangerous, potentially novel pathogens and chemical weapons. The harms from deploying such bioagents could be further magnified by AI-assisted misinformation. We endorse several policy responses to these dangers, including prerelease evaluations of biomedical AIs by subject-matter experts, enhanced surveillance and lab screening procedures, restrictions on AI training data, and access (...) controls on biomedical AI. We conclude with a suggestion about future research directions in bioethics. (shrink)

According to a widespread view in metaphysics and philosophy of science, all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper defends this claim (...) and discusses its significance. The second part of the paper considers whether viewing-as explanations occur in the empirical sciences, focusing on the case of so-called fictional models. It’s sometimes suggested that fictional models can be explanatory even though they fail to represent actual worldly dependence relations. Whether or not such models explain, I suggest, depends on whether we think scientific explanations necessarily give information relevant to intervention and control. Finally, I argue that counterfactual approaches to explanation also have trouble accommodating viewing-as cases. (shrink)

The problem of truth in fiction concerns how to tell whether a given proposition is true in a given fiction. Thus far, the nearly universal consensus has been that some propositions are ‘implicitly true’ in some fictions: such propositions are not expressed by any explicit statements in the relevant work, but are nevertheless held to be true in those works on the basis of some other set of criteria. I call this family of views ‘implicitism’. I argue that implicitism faces (...) serious problems, whereas the opposite view is much more plausible than has previously been thought. After mounting a limited defence of explicitism, I explore a difficult problem for the view and discuss some possible responses. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

This is the first chapter to our edited collection of essays on the nature and ethics of blame. In this chapter we introduce the reader to contemporary discussions about blame and its relationship to other issues (e.g. free will and moral responsibility), and we situate the essays in this volume with respect to those discussions.

Appropriate information and consent has been one of the most intensely discussed topics within the context of biobank research. In parallel to the normative debate, many socio-empirical studies have been conducted to gather experiences, preferences and views of patients, healthy research participants and further stakeholders. However, there is scarcity of literature which connects the normative debate about justifications for different consent models with findings gained in empirical research. In this paper we discuss findings of a limited review of socio-empirical research (...) on patients’ and healthy research participants’ experiences and views regarding consent to biobank research in light of ethical principles for appropriate information and consent. (shrink)

Multidimensional adjectives are ubiquitous in natural language. An adjective F is multidimensional just in case whether F applies to an object or pair of objects depends on how those objects stand with respect to multiple underlying dimensions of F-ness. Developing a semantics for multidimensional adjectives requires us to address the problem of dimensional aggregation: how do the application conditions of an adjective F in its positive and comparative forms depend on its underlying dimensions? Here we develop a semantics for multidimensional (...) adjectives that incorporates aggregation functions. We then explore an analogy between dimensional aggregation and preference aggregation, bringing results from social choice theory to bear on the number and kind of aggregation functions that are admissible in a context. These results suggest that, for any given adjective, there will often be multiple aggregation functions admissible, meaning that multidimensional comparatives are often vague. (shrink)

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

The many-property problem has traditionally been taken to show that the adverbial theory of perception is untenable. This paper first shows that several widely accepted views concerning the nature of perception---including both representational and non-representational views---likewise face the many-property problem. It then presents a solution to the many-property problem for these views, but goes on to show how this solution can be adapted to provide a novel, fully compositional solution to the many-property problem for adverbialism. Thus, with respect to the (...) many-property problem, adverbialism and several widely accepted views in the philosophy of perception are on a par, and the problem is solved. (shrink)

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...) they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)

There is good reason to think that, in every case of perceptual consciousness, there is something of which we are conscious; but there is also good reason to think that, in some cases of perceptual consciousness—for instance, hallucinations—there is nothing of which we are conscious. This paper resolves this inconsistency—which we call the presentation problem—by (a) arguing that ‘conscious of’ and related expressions function as intensional transitive verbs and (b) defending a particular semantic approach to such verbs, on which they (...) have readings that lack direct objects or themes. The paper further argues that this approach serves not only as a linguistic proposal about the semantics of ‘conscious of’, but also as a proposal about the metaphysics of conscious states. (shrink)